机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:带I / O板的CPDev软控制器的彩色Petri-net模型
机译:反应系统的需求工程:电梯控制器的彩色Petri网
机译:Petri网“ A”矩阵在软件工程的需求和规范阶段中的作用
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:反应系统的需求工程:电梯控制器的彩色Petri网
机译:用有色petri网建模环境系统。